Deterministic Finite Automata